Metastability in the Potts model on the Cayley tree

Metastability in the ferromagneticp-state Potts model defined on the Cayley tree is discussed. It is shown that the sign of the boundary fieldH _s determines the order of the transition as well as the stability of the low-temperature phase. Lowering the temperature withH _s >0, a system withp<2 (p>2) will display a second (first)-order transition to a metastable (stable) phase. ForH _s >0 a second (first)-order transition to a metastable (stable) phase occurs ifp>2 (p<2). In this case the system also has a residual entropy which is negative forp<2.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Convexity of Domains of Riemannian Manifolds

In this paper the problem of the geodesic connectedness and convexity ofincomplete Riemannian manifolds is analyzed. To this aim, a detailedstudy of the notion of convexity for the associated Cauchy boundary iscarried out. In particular, under widely discussed hypotheses,we prove the convexity of open domains (whose boundaries may benondifferentiable) of a complete Riemannian manifold. Variationalmethods are mainly used. Examples and applications are provided,including a result for dynamical systems on the existence oftrajectories with fixed energy.     

Sub(L)中的五边形格特征及其数量不等式

五边形结构在刻画格的特征方面具有十分重要作用，应用格论及组合数学的方法讨论了格L与其子格格Sub(L)中所含五边形格之间的数量关系，给出了有限格L的子格格中三个元生成五边形格的充要条件，同时给出了Sub(L)所含不同五边形格数量的一个下界。     

Generalized quasilinearization method for reaction-diffusion equations under nonlinear and nonlocal flux conditions

In this paper we consider an initial boundary value problem for a reaction-diffusion equation under nonlinear and nonlocal Robin type boundary condition. Assuming the existence of an ordered pair of upper and lower solutions we establish a generalized quasilinearization method for the problem under consideration whose characteristic feature consists in the construction of monotone sequences converging to the unique solution within the interval of upper and lower solutions, and whose convergence rate is quadratic. Thus this method provides an efficient iteration technique that produces not only improved approximations due to the monotonicity of its iterates, but yields also a measure of the convergence rate.     

Localization effects and measure source terms in numerical schemes for balance laws

This paper investigates the behavior of numerical schemes for nonlinear conservation laws with source terms. We concentrate on two significant examples: relaxation approximations and genuinely nonhomogeneous scalar laws. The main tool in our analysis is the extensive use of weak limits and nonconservative products which allow us to describe accurately the operations achieved in practice when using Riemann-based numerical schemes. Some illustrative and relevant computational results are provided.

     

非线性奇异边值问题的正解

利用锥映射的不动点指数定量，研究了一类非线性奇异边值问题多个正解的存在性问题。在构造的解的存在条件之下，证明了奇异边值问题至少有两个正解的存在性定理。     

高折射率椭圆芯布拉格光纤的偏振特性

应用带完全匹配层边界条件的全矢量有限元方法,分析了高折射率椭圆芯布拉格光纤的偏振特性,详细讨论了光纤结构参量对模式双折射度以及群速度走离的影响,结果发现:高折射率椭圆芯布拉格光纤的模式双折射度可达10-2量级,比传统保偏光纤至少高出一个量级,并且表现出不同于传统保偏光纤的群速度走离特性;在保持较高双折射度的同时,通过合理的结构设计,可在一定的波长处灵活地获得较大的群速度走离或零走离特性,具有重要的潜在应用价值;最后,简要分析了低折射率区域的折射率变化对偏振特性的影响;研究结果有助于设计高性能的微结构保偏光纤。     

Semi‐analytical integration of the 8‐node plane element stiffness matrix using symbolic computation

The semi‐analytical integration of an 8‐node plane strain finite element stiffness matrix is presented in this work. The element is assumed to be super‐parametric, having straight sides. Before carrying out the integration, the integral expressions are classified into several groups, thus avoiding duplication of calculations. Symbolic manipulation and integration is used to obtain the basic formulae to evaluate the stiffness matrix. Then, the resulting expressions are postprocessed, optimized, and simplified in order to reduce the computation time. Maple symbolic‐manipulation software was used to generate the closed expressions and to develop the corresponding Fortran code. Comparisons between semi‐analytical integration and numerical integration were made. It was demonstrated that semi‐analytical integration required less CPU time than conventional numerical integration (using Gaussian‐Legendre quadrature) to obtain the stiffness matrix. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Acoustic reflection from a baffled elastic/piezoelectric plate

A finite difference/boundary integral procedure to determine the acoustic reflected pressure from a fluid-loaded bi-laminated plate is described. The bi-laminate is composed of a piezoelectric layer and an elastic layer in contact with the fluid, and is held by an acoustically hard baffle. In the numerical model, the fluid pressure at fluid/solid interface is replaced by a continuum of point sources weighted by the normal acceleration of the elastic plate, and the governing equation system is solved in the solid domain. With the normal acceleration found, the reflected pressure in the fluid is determined by an integral expression involving the Green's function. It is demonstrated that an appropriate applied voltage potential across the piezoelectric layer has the effect of cancelling either the reflected or scattered pressure of the plate at any chosen field points in the fluid. Project supported by the National Natural Science Foundation of China (No. 10172039).